The Origins and the Development of the ASM Method for High Level System Design and Analysis
نویسنده
چکیده
The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the period from 1984, when the idea for the concept of ASMs (under the name dynamic or evolving algebras or structures) appears for the first time in a foundational context, to the year 2001 where a mathematically well-founded, practical system development method based upon the notion of ASMs is in place and ready to be industrially deployed. Some lessons for the future of ASMs are drawn.
منابع مشابه
Development of a Design Procedure for Aeronautical Structures Based on Reliability
In this paper, an approach to aeronautical structural design based on reliability analysis is presented. In this way, the concept of level of safety is discussed and methods of its calculation using statistical data are described. Based on the concept of level of safety, a design procedure is proposed. In order to validate this design procedure, two design cases are studied. In the first case s...
متن کاملDesign of High Gain, High Reverse Isolation and High Input Matched Narrowband LNA for GPS L1 Band Applications Using 0.18µm Technology
Design of Global Positioning System (GPS) receiver with a low noise amplifier (LNA) in the front end remains a major design requirement for the success of modern day navigation and communication system. Any LNA is expected to meet the requirements like its ability to add the least amount of noise while providing sufficient gain, perfect input and output matching, and high linearity. However, mo...
متن کاملStability and Robust Performance Analysis of Fractional Order Controller over Conventional Controller Design
In this paper, a new comparative approach has been proposed for reliable controller design. Scientists and engineers are often confronted with the analysis, design, and synthesis of real-life problems. The first step in such studies is the development of a 'mathematical model' which can be considered as a substitute for the real problem. The mathematical model is used here as a plant. Fractiona...
متن کاملProbabilistic analysis of stability of chain pillars in Tabas coal mine in Iran using Monte Carlo simulation
Performing a probabilistic study rather than a determinist one is a relatively easy way to quantify the uncertainty in an engineering design. Due to the complexity and poor accuracy of the statistical moment methods, the Monte Carlo simulation (MCS) method is wildly used in an engineering design. In this work, an MCS-based reliability analysis was carried out for the stability of the chain pill...
متن کاملDevelopment of Average Model for Control of a Full Bridge PWM DC-DC Converter
This paper presents a detailed small-signal and transient analysis of a full bridge PWM DC-DC converter designed for high voltage, high power applications using an average model. The derived model is implemented in a typical system and used to produce the small-signal and transient characteristics of the converter. Results obtained in the analysis of the high voltage and high power design examp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. UCS
دوره 8 شماره
صفحات -
تاریخ انتشار 2002